SYSTEMATIC PROGRAM DESIGN From Clarity to Efficiency
نویسنده
چکیده
A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic, and object-oriented programming languages with different data, control, and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization, and program analysis. The last section of the book points out directions for future studies.
منابع مشابه
Incrementalization: From Clarity to Efficiency
Incrementalization is at the core of a systematic program design method, especially for the design of algorithms and data structures. It takes a function and an input change operation and yields an incremental function that computes each new output by using the old output and additional values. It is the analogue of differentiation in continuous domains. This article gives an overview of a syst...
متن کاملFission for Program Comprehension
Fusion is a program transformation that combines adjacent computations, flattening structure and improving efficiency at the cost of clarity. Fission is the same transformation, in reverse: creating structure, ex nihilo. We explore the use of fission for program comprehension, that is, for reconstructing the design of a program from its implementation. We illustrate through rational reconstruct...
متن کاملBalancing Clarity and Efficiency in Typed Feature Logic Through Delaying
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resource Grammar (LinGO, 1999, ERG). It is argued that a simple generalization of the conventional delay statements used in logic programming is sufficient to restore much of the functionality and concomitant benefit that the...
متن کاملبررسی نتایج نیازسنجی از مربیان کودکان آسیبدیدهی شنوایی به منظور طراحی و تدوین برنامهی آموزشی ـ توانبخشی
The purpose of the current research was to analyze the results of the needs assessment of training/ rehabilitation program for hearing impaired children from the teachers' point of view in order to design and develop a rehabilitation training program with an auditory/verbal trait (AVT). In this descriptive study, 26 teachers of children under the age of 4 from the state of Khorasan Razavi using...
متن کاملEvaluation of Nutritional Assistance Education Models: A Systematic Review
Background: The establishment of good eating practices will impact lifelong nutritional habits and overall health that begins in infancy. This study was conducted to evaluate effective educational models to increase parents' knowledge and awareness in the field of nutritional assistance to toddlers through published articles in the time frame of 2010-2021. Methods: PubMed, Sciencedirect, Web o...
متن کامل